Section: Contracts and Grants with Industry

Grants with Industry

In 2006, we started to work at the Microsoft Research-INRIA Joint Centre in a common project with Cédric Fournet (MSR Cambridge), Gilles Barthe (now at IMDEA), Nataliya Guts (who defended her PhD in January 2011) and Jérémy Planul (who will defend on February 2012). The project is named Secure Distributed Computations and their Proofs and deals with security, programming languages theory and formal proofs. This work is still under active collaboration within all year 2011.